📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
✅Formal Methods
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
🔄Concurrency
2000 words about arrays and tables
buttondown.com·21h·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Formal specs as sets of behaviors
surfingcomplexity.blog·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Emacs: The macOS Bug
xlii.space·16h·
Discuss: Lobsters, Hacker News
⚡Zig
From XML to JSON to CBOR
cborbook.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩WebAssembly
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·18h·
Discuss: Hacker News
🤖ai
I Know When You're Vibe Coding
alexkondov.com·1d·
Discuss: Hacker News, Hacker News, r/programming
💻programming
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·1d·
Discuss: Hacker News
🔍eBPF
Every American Is Bilingual
justevilenough.com·2d·
Discuss: Hacker News
🔨Compilers
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·3d·
Discuss: Hacker News
🧮Functional Programming
Everyone’s Invited to the Copyparty
hackaday.com·23h
❄️Nix
Blog series on creating an OS in Rust
os.phil-opp.com·22h·
Discuss: Hacker News
⚡Zig
clj-coll: Clojure collections and sequences in Common Lisp
github.com·4d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·21h·
Discuss: Hacker News
💻programming
500 virtual Linux devices on ARM 64
underjord.io·1d
⚙️Systems Programming
Linux 6.17 Now Makes Multi-Core/SMP Support Unconditional
phoronix.com·1d
⚙️Systems Programming
Writing memory efficient structs in C
tomscheers.github.io·1d·
Discuss: Lobsters, Hacker News, r/C_Programming
⚡Zig
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·20h·
Discuss: Lobsters, Hacker News
🔄Concurrency
Making Libcurl Work in WebAssembly
jeroen.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly